#include <system/debug.h>
#include <io.h>
#include <system/config.h>
#include <system/device.h>

void debug_putchar(char c)
{
	#ifdef DEBUG
		io_outb(0xe9, c);
	#endif
}


void debug_puts(char *str)
{
	while(*str != '\0')
	{
		debug_putchar(*str);
		str++;
	}
}
